abstraction operator造句

• The lambda abstraction operator, ?, takes a formal parameter variable and a body expression.
• The construction of the ?-algebra through the introduction of an abstraction operator proceeds as follows:
• The abstraction operator, \ lambda, is said to bind its variable wherever it occurs in the body of the abstraction.
• Although the aim is to increase the speed of a computation, the role of abstraction has posed questions about the involvement of abstraction operators.
• *"'Abstraction "'& mdash; the abstraction operator, \ tau _ I, provides a way to " hide " certain actions, and treat them as events that are internal to the systems being modelled.